Karp, Carol, papers, 1949-1987.

  1. Resources
  2. View Resource

ArchivalResource

Karp, Carol, papers, 1949-1987.

http://www.worldcat.org/oclc/74906995

Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. The collection consists of correspondence, drafts, printed material, grant proposals, and teaching materials related to Karp's work on infinite languages and recursion theory at the University of Maryland (1958-1972).

1 ft. 3 in.

University of Texas Libraries

Information

SNAC Resource ID: 8124963

University of Texas Libraries

Related Entities

There are 6 Entities related to this resource.

López-Escobar, Edgar G. K. (1937- ).

http://n2t.net/ark:/99166/w62j8q9q (person)

Journal of Symbolic Logic

http://n2t.net/ark:/99166/w66r04g6 (corporateBody)

Karp, Carol, 1926-1972

http://n2t.net/ark:/99166/w6w97mc1 (person)

Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. Born Carol Ruth Vander Velde on August 10, 1926 in Forrest Grove, Michigan, Karp later went on to earn degrees in mathematics from Manchester College in Indiana (B.A., 1948) and Michigan State University (M.A., 1950). After teaching for a brief period at New Mexico State University (1953-1954), she pursued her doctorate studies in mathematics at the University ...

Green, Judy.

http://n2t.net/ark:/99166/w6qg164t (person)

Association for symbolic logic

http://n2t.net/ark:/99166/w61g51p7 (corporateBody)

Barwise, Jon

http://n2t.net/ark:/99166/w6gt70fx (person)